例句與造句

1. He was awarded the Milestone Prize for Automated Theorem Proving for that work in 1983.
2. Commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification.
3. Schelter obtained his computational algebra and its applications, including automated theorem proving in geometry.
4. Condensed detachment's use of unification predates the resolution techniques of automated theorem proving.
5. It was at Argonne that Robinson became interested in automated theorem proving and developed unification and the resolution principle.
6. It's difficult to find automating theorem proving in a sentence. 用automating theorem proving造句挺難的
7. Tammet received international renown for his automated theorem proving program CADE CASC competition six times between 1997 and 2003.
8. He is one of the founders of artificial intelligence, making early contributions in pattern recognition and automated theorem proving.
9. Automated theorem proving says more about this competition . talk ) 11 : 11, 20 August 2008 ( UTC)
10. AMD, Intel and others use automated theorem proving to verify that division and other operations are correctly implemented in their processors.
11. Automated theorem proving refers to the development of computer programs that search and find derivations ( formal proofs ) of mathematical theorems.
12. Further following this trend, the cutting edge of data mining employs specialized machine learning algorithms for automated hypothesis forming and automated theorem proving.
13. He began his research in the field of automated theorem proving, developing both SL-resolution with Donald Kuehner and the connection graph proof procedure.
14. Using automated theorem proving, the machines can find and check proofs, as well as work with proofs too lengthy to write out by hand.
15. Computer science also contributes to mathematics by developing techniques for the automatic checking or even finding of proofs, such as automated theorem proving and logic programming.
16. The "'Theorem Proving System ( TPS ) "'is an automated theorem proving system for first-order and higher-order logic.
更多例句：  下一頁